]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 613efa7) | patch
theme/dash: Tweak margins of the dash
authorJonas Dreßler <verdre@v0yd.nl>
Mon, 22 Feb 2021 11:03:51 +0000 (12:03 +0100)
committerMarge Bot <marge-bot@gnome.org>
Wed, 3 Mar 2021 12:08:58 +0000 (12:08 +0000)
commita27009f9269e2b7d883f09571f663139eebaaf11
treef54fc2ab50291ba34e4d256b8c6f6f6d462b396etree | snapshot
parent613efa72f3c37d3a78850b43b21845f8c4e6a24dcommit | diff
theme/dash: Tweak margins of the dash

The Dash currently has a horizontal margin and a top margin applied. The
horizontal margin isn't necessary since there already is a horizontal
padding applied, and the top margin is a bit large, since the
ControlsLayout enforces a spacing between the different containers
already, so slightly decrease the margin-top here.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1702>
data/theme/gnome-shell-sass/widgets/_dash.scss diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.